Talk given to Kansas State University Computer Science students, 17 Oct 2012