nnf ( 5 .. prut?