avturchin comments on Another formalization attempt: Central Argument That AGI Presents a Global Catastrophic Risk