Updated section 1.5.4