Yes if official Brazilian results certify Lula as the 2026 winner.