aditions to propositions