Full Monge Heap implemented (not tested)