Gave a seminar talk in the CS Department at the University of Rochester.