How to deal with implications.
Hunting for equivalences.