A Couple of Novelties in the Propositional Calculus - Hoare, C (1985)