Charlie Steiner comments on What to do after inventing AGI?