RobertM comments on Eric Neyman’s Shortform