  One way in which strong cosmic censorship can be violated is through  the emergence of acausal features. Returning to the example of Misner spacetime   (Figure 1),  the spacetime up to \(H^+ (\Sigma_0)\) is  the unique maximal development of the vacuum Einstein equations for  which \(\Sigma_0\) is a Cauchy surface. But this development  is extendible, and in the extension illustrated in   Figure 1  global hyperbolicity of the development is lost because of the  presence of CTCs. The chronology protection conjecture then  can be construed as a subconjecture of the cosmic censorship  conjecture, saying, roughly, that consistent with Einstein field  equations, CTCs do not arise under physically reasonable conditions  or else that the conditions are highly non-generic within the space  of all solutions to the field equations. No-go results for time  machines are then special forms of chronology protection theorems  that deal with cases where the CTCs are manufactured by time  machines. In the other direction, a very general chronology  protection theorem will automatically provide a no-go result for time machines, however that notion is understood, and a theorem  establishing strong cosmic censorship will automatically impose  chronology protection.