Example 3.
Collective exercises used by GINC