finish example 4.1