prove nun v3 (Explicit)

duff flow (Explicit)