meaningful_propositions