An Axiomatic Foundation for the Expected Shortfall · Study