Mary has a City Credit Card (CCC) and has run up a $13,000 debt. She calls the company and explains that she can't pay the full amount, but will be willing to pay $10,000 if they will forgive the other $3,000. The company agrees to accept $10,000 as payment in full. This is an example of what type of discharge of the contract?