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