User:Daniel Mietchen/Talks/CoSci12/Notes