Compact tree of Hendrikus de Groot