Talk:Hart–Tipler conjecture