discretive propositions