avturchin comments on Bringing Agency Into AGI Extinction Is Superfluous