, nnf : v'