The theory of general relativity describes the universe under a system of field equations that determine the metric, or distance function, of spacetime. There exist exact solutions to these equations that include closed time-like curves, which are world lines that intersect themselves; some point in the causal future of the world line is also in its causal past, a situation that can be described as time travel. Such a solution was first proposed by Kurt Gödel, a solution known as the Gödel metric, but his (and others') solution requires the universe to have physical characteristics that it does not appear to have, such as rotation and lack of Hubble expansion. Whether general relativity forbids closed time-like curves for all realistic conditions is still being researched.