RationalElf comments on Raemon’s Shortform