lets run with new fixpoint