  In order to appreciate the physics literature aimed at proving no-go  results for time machines it is helpful to view these efforts as part of the broader project of proving chronology protections  theorems, which in turn is part of a still larger project of  proving cosmic censorship theorems. To explain, we start  with cosmic censorship and work backwards.