We will review the status of the uniqueness theory of static vacuum black holes, with or without a cosmological constant $\Lambda$, and we will outline the proof of a uniqueness theorem with $\Lambda \gt 0$, proved jointly in collaboration with Stefano Borghini.