and(not(and(not(some(r, u)), some(r, w))), not(not(and(not(some(r, u)), some(r, w))))