Before revision:  Our key ingredient is a bipartition compatibility criteria based on amortized-time leaf counters  ]  .
After revision:  Our key ingredient is a bipartition compatibility criteria based on amortized-time leaf counters JACM'16] .