Compact tree of Eigil Hartman Jensen