Changes implication to biconditional.
Notes that graph powering might be a good operation.