NaiveTortoise comments on Raemon’s Shortform