Mr. John Coleman:

That is clear, but if the buyer did not pay it in the first place we hope it will not be a problem. It could be discharged from the eventual sale proceeds of the house when it is resold.