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