Sorry, not to imply you weren't aware of the fact but instead to be completely clear. Taken as an cutout of the code I wrote it might seem as though you intenti

Sorry, not to imply you weren't aware of the fact but instead to be completely clear. Taken as an cutout of the code I wrote it might seem as though you intentionally removed the forall.