axioman comments on An Intuitive Guide to Garrabrant Induction