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