If Alexander Albon finishes in exactly first in the main race originally scheduled for June 14, 2026 at the 2026 Barcelona Grand Prix, then the market resolves to Yes.