Talk at a workshop with the Faculty of Computers and Information, Cairo University, July 2009