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