dxu comments on FactorialCode’s Shortform