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