I will discuss a unique continuation result for the vacuum Einstein equations across bifurcate horizons. The main result uses a recent Carleman estimate of Ionescu and Klainerman, together with some geometric gauge constructions. More broadly I will indicate how Carleman estimates for the wave operator can be used to derive unique continuation for the Einstein equations.