Hart–Tipler_conjecture loading ...