Stuart_Armstrong comments on The Substitution Principle