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