David_Gerard comments on An onion strategy for AGI discussion