added propositions