gwern comments on The Substitution Principle