Yes. Any portion of the annual optional redemption that is not exercised will be rolled over and will increase the magnitude of optional redemptions that can occur in the following year.