2014-06-17 10:03:26+00:00 In reply to @axiomsofchoice @axiomsofchoice yeah, it's more complicated than that. I'm familiar with rewriting systems