Complete example 4.