jimrandomh comments on Borasko’s Shortform