give more details on the fixed-point iteration