The sentence Pavel pointed out should have read: ``For example, if -operator- is OR, the expression <M_i a_1 . . . a_n> is evaluated only if <M_j a_1 . . . a_n>, 1 <= j < i, returned NIL.'' This is a typical error when you've been staring at a chapter for over a year. -rpg-