Definition (Levy family). Say a sequence of graphs is a Lévy family if $\alpha (G_n,𝜀)\to 0$ as $n\to \infty$, for each $𝜀>0$.