I’m seeing this assumption cropping up in several places: do we make sure not to let that invariant be violated? Do we throw obvious errors in the user’s face if trying to join non-matching clusters?