So, it can be clear that the logic is OK every time we change it.