Dagon comments on FactorialCode’s Shortform