Extensionalist identity conditions for properties — two properties are identical iff they are co-ext...