Alex Vermillion comments on Richard Ngo’s Shortform