Constructive Dilemma/Formulation 1