Introduction to Logic - nidottu, Englanti, 2003