List of Figures

	Figure 1: $𝒮ext$ , $Mext$ , together with the future and the past of $Mext$ . One has $Mext ⊂ I±(Mext )$ , even though this is not immediately apparent from the figure. The domain of outer communications is the intersection $I+(Mext ) ∩ I− (Mext )$ ; compare with Figure 2.
	Figure 2: The hypersurface $𝒮$ from the definition of $I+$ -regularity.
	Figure 3: Classification of analytic, connected, mean non-degenerate, asymptotically-flat, $I+$ -regular, stationary electrovacuum black holes.
	Figure 4: Classification of stationary electrovacuum black-hole spacetimes