A one-dimensional spin chain with random interactions exhibits many-body localization. I will discuss a proof under a physically reasonable assumption that limits the amount of level attraction in the system. The construction uses a sequence of local unitary transformations to diagonalize the Hamiltonian and connect the exact many-body eigenfunctions to the original basis vectors.