Prior, A. Extensionality and Propositional Identity. CRHF 1969, 3, 35-60.