Propositional_logic loading ...