By lap 17, Max Verstappen had given up wrestling the Red Bull through Turn 9 — and found three tenths in the process.
There's a moment on Verstappen's fastest lap where his steering inputs go quiet. Turn 8, Turn 9, Turn 10 — the Red Bull flows through the final sector like he's stopped asking it questions. That's the lap he put pole out of reach.