Model Independence
lWe can
abstract away the specific representation being used:
lisLeaf(T) 1 when T is leaf, 0 otherwise.
loffspring(T) the list of offspring of a non-leaf, undefined otherwise
lThe
implementation depends on which tree model we are using.