[deleted] comments on The Substitution Principle