Greg_Colbourn comments on Discussion with Eliezer Yudkowsky on AGI interventions