The seller and the buyer exchange Guarantees in the sale contract. These are usually referred to as asset/liability Guarantees, which means that all the assets on the balance sheet are usable or sellable, and that no liabilities are missing from the balance sheet.
