Logic and Complexity - sidottu, Englanti, 2004