Anfonwch hwn fel neges destun: A Couple of Novelties in the Propositional Calculus