FactorialCode’s Shortform