110_Propositions loading ...