JNS comments on Jimrandomh’s Shortform