(C|U) =/= C|U