lilkim2025 comments on Richard Ngo’s Shortform