O O comments on The thing I don’t understand about AGI