Demonstrating the binary tree set