Richard Horvath comments on Richard Ngo’s Shortform