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