Adopt Christian Stork's suggested argument order for the logic quantifiers.
Adopt Jeremy Fincher's suggested function name, "any", instead of "some".
Showing
Please register or sign in to comment
Adopt Jeremy Fincher's suggested function name, "any", instead of "some".