Atomic_propositions loading ...