approx-fixpoint expanded
