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