Compact tree of David HALES