Propositional_Calculus loading ...