Left over? Isn't this what NotIdenticalTo is for?