Constructive Dilemma/Formulation 2