If the winner of the next Nigerian presidential election in 2027 is Bola Tinubu, then the market resolves to Yes.