Maxime Riché comments on Richard Ngo’s Shortform