Loading paper
Spectral gap and definability | Tomesphere