David Hornbein comments on Richard Ngo’s Shortform