Viliam comments on RationalElf’s Shortform