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