Viliam comments on FactorialCode’s Shortform