We discussed binary search
 -- need to figure out what's wrong with my proof sketch
We discussed recursion
 -- see coding example (and notes from board)