conflicting propositions