David Hornbein comments on mesaoptimizer’s Shortform