Finish example 12.