tailcalled comments on An anti-inductive sequence