Use some more equivalences.

No need for definitions consisting of just one rule.
This doesn't really change anything, it's just to show that we also know
about equivalences. ;-)