Tomás B. comments on Richard Ngo’s Shortform