Propositional_variable loading ...