Wrapped up previous lecture; see material from lec16.