While the doctrine of claim vitiation imposes a boundary around the subject matter expanded by the doctrine of equivalents, this boundary is not based on identifying a “binary” choice in which an element is either present or not present.