First part of example 3