Vladimir_Nesov comments on The Substitution Principle