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