% References cited in https://agora.t9k.dev/t/255/spacetime-penrose-inequalities-enclosing-area-charge-rotation-and-anti