The Kneser-Poulsen conjecture says that if a finite set of (labeled) unit balls in $\mathbb{R}^n$ is rearranged so that in the new configuration, no pairwise distance is increased, then the volume of the union of the balls does not increase. This was finally proved by Bezdek and Connelly in dimension 2 but remains open in higher dimensions.