Kaj_Sotala comments on quetzal_rainbow’s Shortform