Definition Balanced(T) = Balanced(T.left) && Balanced(T.right) && ABS(Height(T.left) - Height(T.right)) <= 1