17.6 Fixed-Point Iteration