sets as binary trees