size ← size-leaves