I.M.J. McInnis comments on What to Do If You Take AGI Seriously