Alfred Harwood comments on Proof Explained: Touchette-Lloyd Theorem