9(1)The rules must provide for all rights and liabilities of the defaulter under or in respect of unsettled market contracts to be discharged and for there to be paid by or to the defaulter such sum of money (if any) as may be determined in accordance with the rules.
(2)The rules must further provide—
(a)for the sums so payable by or to the defaulter in respect of different contracts to be aggregated or set off so as to produce a net sum;
(b)for that sum—
(i)if payable by the defaulter to the clearing house, to be set off against any property provided by or on behalf of the defaulter as cover for margin (or the proceeds of realisation of such property) so as to produce a further net sum, and
(ii)if payable by the clearing house to the defaulter to be aggregated with any property provided by or on behalf of the defaulter as cover for margin (or the proceeds of realisation of such property); and
(c)for the certification by or on behalf of the clearing house of the sum finally payable or, as the case may be, of the fact that no sum is payable.