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