Jonathan_Graehl comments on The Substitution Principle