Separated out biconditional and equivalence