( 3nf int t .)