Anders Lindström comments on Counting AGIs