Propositional equality

Summary