After a long day working on faster random number generation and dithering, it’s nice to kick back and relax by writing a review of a paper on term-rewriting.