Definition
0 if N is the root
level(N) =
level(P) + 1 if N's parent is P
Conditions
level(N) even: L is subtree at N.llink: L.xval < N.xval
R is subtree at N.rlink: R.xval >= N.xval
level(N) odd: L is subtree at N.llink: L.yval < N.yval
R is subtree at N.rlink: R.yval >= N.yval

slide: Definition and constraints