Kaj_Sotala comments on The Substitution Principle