Jalex Stark comments on An anti-inductive sequence