hamnox comments on FactorialCode’s Shortform