wfnsh convergence at k4