We went back and talked about terminology for generic trees
 -- need to figure out what's wrong with my proof sketch
Discussed three examples of binary trees:
 -- Binary search trees
 -- Huffman coding
 -- Expression trees