less or equal black number and the red number is bigger than the blue number minus the black number or in words the - each value has to be less or equal to the post order value, the lowest value has to be bigger than the number of descendants minus the post order value. 