and(all(r, not(not(v))), not(all(r, not(not(v)))))