Added fixpoint lession