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