  We present an orthogonal basis for functions over a slice of the Boolean
hypercube. Our basis is also an orthogonal basis of eigenvectors for the
Johnson and Kneser graphs. As an application of our basis, we streamline
Wimmer's proof of Friedgut's theorem for slices of the Boolean hypercube.
