If Barack Obama's presidential library opens to the public before Jul 1, 2026, then the market resolves to Yes.