* remove equiv re-macro