Substitution principle