Removed nnf from interface