If Bill O’Dea is sworn in pursuant to the election for Mayor in Jersey City in 2025, then the market resolves to Yes.