1. It is possible to develop a system which allows open formulas to appear in arguments. This would have a direct impact on our treatment of the quantifiers, as we would have to be much more careful about which variables we were using. Allowing formulas to appear in arguments simplifies some things and complicates others.