Thomas Kwa comments on RobertM’s Shortform