edeemed (excluding any portion of payments of interest accrued as of the redemption date) discounted to the redemption date on a semiannual basis at the Adjusted Treasury Rate plus, in the case of: (i) the 2031 NAI Notes, 30 basis points and (ii) the 2029 NAI Notes and 2030 NAI Notes, 20 basis points. Mandatory Redemptio