orthonormal comments on The Substitution Principle