Law of Excluded Middle/Sequent Form/Proof 2