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