Kickass refactoring\n\nFinally the iteration process (fixpoint) I think is useful.