[fixpoint.png]