The Bonds shall be redeemed at their principal amount on the Interest Payment Date immediately falling after the date the Pre-funding Failure Notice is given to the Bondholders in accordance with Condition 4, together with interest accrued up to, but excluding, the Mandatory Redemption Date.