The explaination needed for 2.64a
Work on making a binary tree intersection-set that is O(n)