TsviBT comments on Thomas Larsen’s Shortform