9. (1) Where any assessee applies to the Tribunal at any time during the course of the proceedings to have the case or any point thereof settled in so far as it relates to him, the Tribunal shall, if it is of opinion that the terms of the settlement contained in the application are such as may be accepted, arrive at a settlement with such person and make an order setting out the terms of the settlement and thereupon all further proceedings in so far as they relate to matters covered by such settlement shall be deemed to be closed. (2) For the purpose of enforcing the terms of any settlement arrived at in pursuance of sub-section (1), the Tribunal may direct that such proceedings, as may be specified under the Income-tax Ordinance, 1984 (XXXVI of 1984), the Excess Profits Tax Act, 1940, the Business Profits Tax Act, 1947, or any other law, against the person to whom the settlement relates ¹[* * *]. (3) Subject to the provisions of sub-section (5) of section 8, any settlement arrived at under this section shall be conclusive as to the matters stated therein, and no person whose case has been so settled shall be entitled to re-open in any proceeding for the recovery of any sum under this section or in any subsequent assessment or re-assessment proceeding relating to taxation on income or in any other proceeding before any Court or other authority any matter which forms part of such settlement. (4) Where a settlement has been made by the Tribunal under sub-section (1), no proceeding under ²[section 93] of the Income-tax Ordinance, 1984 (XXXVI of 1984), or under section 15 of the Excess Profits Tax Act, 1940, or under section 14 of the Business Profits Tax Act, 1947, shall be initiated in respect of the items of income covered by the settlement unless the initiation of such proceeding is expressly allowed by the terms of the settlement.