Finish Ex. 3.5.3.