Yeah originally integrate only undid differentiate and wasn't a win condition. When I updated last week it I decided to add more levels going the other way with integrate. I realised it was much easier so I made it so you had to do it once more than differentiate. It might have been a mistake to let you do something that just lets you avoid the main joke but I also thought it was unsatisfyingly asymmetric before.