Roman Leventov comments on Bringing Agency Into AGI Extinction Is Superfluous