Compact tree of John Francis HERIVEL