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