Vladimir_Nesov comments on speck1447′s Shortform