ARBITRARY NNF P043684