Suppose that we redefine the residual network to disallow edges into the source vertex s. Argue that the procedure FORD-FULKERSON still cor- rectly computes a maximum flow.