Meanwhile the above argument does serve to show that the policy of extensionality has more behind it than its obvious simplicity and convenience, and that any real departure from the policv at least where logical equivalents re main interchangeable) must involve revisions of the logic of singu a terms. '