@axiomsofchoice yeah, it's more complicated than that. I'm familiar with rewriting systems