DISCRETIVE Propositions