Bringing Agency Into AGI Extinction Is Superfluous — LessWrong