fixpoint iteration algorithm almost finished