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