fixpoint

fixed point