Finalized binary trees.