Outlined cases for proof of subject reduction.  Wrote an initial draft
of the conclusion.