residual converges