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