But, if it gets priced in, it will still go higher from there upon the retirement. So, IMO, it does not matter if we are $1 or $3, it will be the same positive movement upon retirement. So there is no price to drive it to that factors in the retirement adjustment. I hope I'm stating it correctly. If they drive it to $4, then the retirement will produce a price of close to $6, so there is no need to drive the price since it is open ended until it happens.