add propositions