Vaniver comments on The Substitution Principle