Simon Hibbard is doing a BIT Thesis in 2008, working on <?????> supervised by David Pearce.