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