Updated the explanation of sec 1.5.4