d e t , f. i n tJ.