Full rule transposition
Rewrite complete