Computer Science Logic - nidottu, Englanti, 2001