Kaj_Sotala comments on eggsyntax’s Shortform