That does seem to be how these kind of deals are usually structured. Spinco is 60% owned by the parent or wherever.