Slides from a talk at VPRI by Slava Pestov, October 2008