Kaj_Sotala comments on Joseph Miller’s Shortform