TheOtherDave comments on The Substitution Principle