left-associativity of /\ and \/

eq/4 should have been written as:

   eq(N, V, F0, F0 \/ V=N).