Compact tree of George Miller