danieldewey comments on An onion strategy for AGI discussion