PaulK comments on An Intuitive Guide to Garrabrant Induction