Impl of size in forAll, etc