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