Scribed lecture notes.