Viliam comments on Jacobson’s Shortform