nnf implemented