From Wolf:
Some implications
Equivalences for rewriting negations
Equivalences for replacing connectives
Other equivalences
