Propositional_function loading ...