Factor Principles/Disjunction on Left/Formulation 1/Proof 2