What is right subtree is
empty?
• Possible idea: Find the max
in the left subtree?
- Why might this not
work?
• Suppose I findmax(T.left)
and get point (a,b)
It’s possible that T.left
contains another point
with x = a.
Now, our equal
coordinate invariant is
violated!