quila comments on An anti-inductive sequence