[BiraIgnacio]

It is joyful. I think of it like a proof being written and that is confirmed to be correct (most of the times) in the end.