(6+3 supra 4): 3 supra 4