and(some(r, not(implies(u, v))), not(some(r, not(implies(u, v))))