biconditional

not defined yet