Propositional_encoding loading ...