The post-lecture discussion is more interesting.