Add lecture 007 up to Theorem 32.2