A Dain Inequality with charge

We prove 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.