Page 311, last paragraph: in the final result of applying the (K,V)
EPI-rule, the second part should be {(l v a,u-m),(~l v b, v - m),(l v a
v ~b,m),(~l v ~a v b,m)} (where "~" stands for negation (\neg), "v" for
disjunction [\lor), "l" for a rounded l (\ell) and "-" for a cricled
minus (\ominus).