Successor(n)

right(n) = NIL

Case II: Find s such that left(s) is n or an ancestor of n

Try n=5

Case III: No such ancestor exists; thus, no successor

Try n=7