nfk-traversal