Gödel (1949a [1990b]) argues from the possibility of time travel (more precisely, from the existence of solutions to the field equations of General Relativity in which there exist CTC’s) to the B-theory: that is, to the conclusion that there is no objective flow or passage of time and no objective now. Gödel begins by reviewing an argument from Special Relativity to the B-theory: because the notion of simultaneity becomes a relative one in Special Relativity, there is no room for the idea of an objective succession of “nows”. He then notes that this argument is disrupted in the context of General Relativity, because in models of the latter theory to date, the presence of matter does allow recovery of an objectively distinguished series of “nows”. Gödel then proposes a new model (Gödel 1949 [1990a]) in which no such recovery is possible. (This is the model that contains CTC’s.) Finally, he addresses the issue of how one can infer anything about the nonexistence of an objective flow of time in our universe from the existence of a merely possible universe in which there is no objectively distinguished series of “nows”. His main response is that while it would not be straightforwardly contradictory to suppose that the existence of an objective flow of time depends on the particular, contingent arrangement and motion of matter in the world, this would nevertheless be unsatisfactory. Responses to Gödel have been of two main kinds. Some have objected to the claim that there is no objective flow of time in his model universe (e.g. Savitt (2005); see also Savitt (1994)). Others have objected to the attempt to transfer conclusions about that model universe to our own universe (e.g. Earman (1995, 197–200); for a partial response to Earman see Belot (2005, §3.4)).[28]