can you comment on the cost you're putting on label.diff here? Is this a hueristic, or does it represent something directly measurable?

Again, why is left.sizeHint repeated?