ryan_b comments on Counting AGIs