cousin_it comments on An anti-inductive sequence