elementary_propositions