Igor Ivanov comments on Jimrandomh’s Shortform