Proof of the refined alternating sign matrix conjecture.