The Substitution Principle