NNF II (Explicit)

plan (Explicit)