I gave an invited talk at the Department of Computer Science at Carleton College.