Nearly 6 months since GE filed the prospectus to spin off DGAS. Makes me wonder if the buyback needs to be completed prior to the spin off?