contingent propositions