Example4 completed