If Barack Obama has been seen in public starting 10:00 AM Jul 1, 2026 and before Aug 1, 2026, then the market resolves to Yes.