AlexMennen comments on Jimrandomh’s Shortform