prove nun v2 (Explicit)

kan flow (Explicit)