Mass, angular-momentum, and charge inequalities for axisymmetric initial data

We present the key elements of the proof of an upper bound for angular-momentum and charge in terms of the mass for electro-vacuum asymptotically flat axisymmetric initial data sets with simply connected orbit space.