CIRCUIT DE BARCELONA-CATALUNYA, SPAIN – JUNE 04: Kevin Magnussen, Haas VF-23, leads Nyck de Vries, AlphaTauri AT04, and Pierre Gasly, Alpine A523 during the Spanish GP at Circuit de Barcelona-Catalunya on Sunday June 04, 2023 in Barcelona, Spain. (Photo by Mark Sutton / LAT Images)