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