Absolutely correct.
They won’t have to steal OH — Taft, Voinovich, and the short guy have already done that perfectly well to the benefit of HRC.