An objection to the practicality of building a Tipler cylinder was discovered by Stephen Hawking who provided a proof that according to general relativity it is impossible to build a time machine in any finite region that satisfies the weak energy condition meaning that the region contains no exotic matter with negative energy The Tipler