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