Reductio Ad Absurdum/Sequent Form