( 3nf tntt .)