First-Order Logic - nidottu, Englanti, 2000