Raemon comments on FactorialCode’s Shortform