A full explanation of this example can be found here.