Zaslat SMS: A Couple of Novelties in the Propositional Calculus