Assume lookup takes a tree of pairs