In the last lecture, we stated the subject reduction theorem, and also gave an induction proof. Today, we'd better go over this important theorem again. We will highlight some points in the proof of the theorem, state the lemma we missed in the last class, and then present an example to help us understand the importance of the theorem.