Kaj_Sotala comments on MikkW’s Shortform