lukeprog comments on The Substitution Principle