Mark Xu comments on An Intuitive Guide to Garrabrant Induction