Expanders: mixing lemma, spectral stuff.