forall instead of forAll
Merge pull request #3 from ExNexu/master

forall instead of forAll