Larks comments on Haotian’s Shortform