dr_s comments on Richard Ngo’s Shortform