Kaj_Sotala comments on Davis_Kingsley’s Shortform