Clean up copypasta cases of Chapter 3 Internal Determinism proof.