Hart%E2%80%93Tipler conjecture