In this talk, I will share the progress and challenges we enountered when developing a calulus with a “lazier” fixpoint and open evaluation.