  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.
