Seol mar théacs é seo: A Couple of Novelties in the Propositional Calculus