The first race of the season is March 2nd, 2024. If Leclerc is able to end the race ahead of Hamilton (in terms of time including penalties) this will resolve to “yes”.