Mark Xu comments on An Intuitive Guide to Garrabrant Induction

[Mark Xu]

Thanks! Should be fixed now.