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