propositions.how