Viliam comments on Jimrandomh’s Shortform