[math-fun] Paterson's Worms Revisited