Rooted ordered binary tree