avturchin comments on The Lebowski Theorem — Charitable Reads of Anti-AGI-X-Risk Arguments, Part 2