607 99-10 Fixpoint