If Howard Lutnick leaves (or announces they will leave) as Commerce Secretary before Aug 1, 2026, then the market resolves to Yes.