A rigorous guide to Expected Shortfall - what it is, why it superseded Value at Risk in regulatory frameworks, how to estimate it from historical, parametric and Monte Carlo methods, and how to backtest it.