Compact tree of John Frederick HALES