2007-03-29 15:32:16 http://www.cl.cam.ac.uk/~sjm217/papers/ccs06hotornot.pdf