TurnTrout comments on D0TheMath’s Shortform