Specifically little u better strictly prefer Who it is matched to, call that V prime, to this alternate V, or if that's not the case, it better be that little v strictly prefers the node it's matched to, call it U prime, compared to the alternative. 