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