Biconditional Elimination/Sequent Form