Douglas_Knight comments on Richard Ngo’s Shortform