| 3nf ( int ) t.|