Term Rewriting in Mathematica | Dark Hacker News