Vladimir_Nesov comments on Words and Implications