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