Completed through section 1.3.3