James_Miller comments on The Substitution Principle