JNS comments on JNS’s Shortform