optimal redemption provision