No matter the result today, 9.58 will be the time to beat for years, perhaps decades to come.