Fill in missing cases of Chapter 3 Internal Determinism proof.