When the code runs into the else block, that means the current root is either p's parent or a node in p's right branch. If it's p's parent node, there are two scenarios: 1. p doesn't have right child, in this case, the recursion will eventually return null, so p's parent i...