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