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 ] which runs in time O(n) .