Sayward, C. What Is the Logic of Propositional Identity?. LLP 2006, 15, 3-15.