khafra comments on The Substitution Principle