Had our lap-36 pit-lane time-loss been just a fraction of a second less, Sebastian would have jumped [Esteban] Ocon and would surely have held on to win.