Lula out before April?

This market will resolve to "Yes" if Luiz Inácio Lula da Silva announces his resignation or otherwise ceases to be President of Brazil for any length of time between December 10, 2024, and March 31, 2025, 11:59 PM ET. Otherwise, this market will resolve to "No". If Lula ceases to be President of Brazil for any length of time within this market's timeframe, this market will immediately resolve to "Yes". This market will not resolve to "No" until its timeframe expires and Lula has remained President of Brazil for the entire duration without interruption. The primary resolution source for this market will be official information from the government of Brazil, however a consensus of credible reporting will also be used.