leogao comments on RationalElf’s Shortform