We now examine the implementation of these abstract methods, looking at the EmptyTree and NodeTree implementations in parallel.
