Sean_o_h comments on An onion strategy for AGI discussion