Algon comments on RationalElf’s Shortform