Seth Herd comments on What are the main arguments against AGI?