Vladimir_Nesov comments on Digging the Bull’s Horn