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