implementing fall
improving forAll