Daniel Kokotajlo comments on Thomas Larsen’s Shortform