If you had nodded off with 10 laps remaining of this race, or switched over to watch something else – either of which would ...