Consider a $n \times n$ matrix from the Gaussian Unitary Ensemble (GUE). Given a finite collection of bounded disjoint real Borel sets $(\Delta_{i,n},\ 1\leq i\leq p)$ with positive distance from one another, eventually included in any neighbourhood of the support…