I lost track of the motivation. This example is sufficient.