A Nonsubstitution Theorem and Switching of Techniques