I think the Reds' ownership is: