two propositions