Add some propositions