technicalities comments on Thomas Kwa’s Shortform