Slides for Edinburgh talk. Available on line at www.cs.toronto.edu/~sacook (2001)

by S Cook