If María Corina Machado has physically travelled to and been present within the geographic boundaries of Venezuela before Jan 1, 2027, then the market resolves to Yes.