If the United Kingdom has joined the EU by Jan 1, 2040, or the date that the country will officially join per its accession treaty is Jan 1, 2040, then the market resolves to Yes.