Added fixpoint without convergence criterion