FactorialCode comments on FactorialCode’s Shortform