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