First-Order Modal Logic - nidottu, Englanti, 1999