Propositional_calculus loading ...