Deal with disequivalences.
Kowalski form of implications.