Viliam comments on tivelen’s Shortform