DavidThorstad comments on Kajus’s Shortform