MathiasKB comments on Eric Neyman’s Shortform