JoachimSchipper comments on The Substitution Principle