Benquo comments on Raemon’s Shortform