qvalq comments on The Substitution Principle