Rule of Commutation/Disjunction/Formulation 2/Proof 1