Complete Ex. 3.5.2