Theorem 4.20 (Bilu, Linial). Can find signings S with eigenvalues λ satisfying |λ|=O(d(logd)3).