Final version of example 3.