Aw right, so we've decided that (1) if Tony had performed his part of the contract, Christopher would have twenty grand and (2) Christopher now has five grand.

So how much is Christopher entitled to as damages?