Գրեք սա: A Couple of Novelties in the Propositional Calculus