NaiveTortoise comments on Jimrandomh’s Shortform