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