Documentation of the second example