Biconditional is Reflexive/Proof 1