Pierre Gasly was pleased for Kevin Magnussen – even though he admitted the Haas racer's pole position was a "terrible" result for him.
The Dane took the first pole of his career on Friday, benefitting from a George Russell crash and a timely rain shower. Those circumstances made it possible, but it was a timely reminder – in a season dominated by Max Verstappen and Red Bull – that any driver and team can taste success in F1.
There won't be many people out there who weren't delighted to see Magnussen and Haas achieve what they did in qualifying. And that was illustrated by Gasly, who has a better reason than most for wanting them to fail.