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