9 supra 7 in intreg