NaiveTortoise comments on Philip’s Shortform