Lauro Langosco comments on RobertM’s Shortform