Now let's see why it works