( 3nf tnbt .)