fixpoint

fixpoint