spriteless comments on The Substitution Principle