NF$ (Explicit)

NF$ (Explicit)