Rewrite equivalences, if any.