Finish example3.5.1