Moore , in nnf,