Novice question about substitution rule