FactorialCode comments on Raemon’s Shortform