If Luiz Inácio Lula da Silva is on the official ballot for the next Brazilian Presidential election first round, then the market resolves to Yes. This market will close and expire early if the event occurs.