Biconditional Introduction/Sequent Form/Proof 1