Vladimir_Nesov comments on Jan_Kulveit’s Shortform