... don't think it is necessary to state "one of" ... both items. This results in only one valid outcome: ... items being out is sufficient to guarantee the inclusion ... A and B are in, we get a contradiction ... of the items being in is sufficient to guarantee the exclusion ...