This document accompanies the audio lecture.