So the formula is that the contract damages are

the loss in value

plus

the other loss

less

the cost avoided.

Christopher's loss in value is $20,000. His other loss is zero. His cost avoided is zero. What is he entitled to recover?