NaiveTortoise comments on Mark Xu’s Shortform