It's already part of the other examples; but maybe an isolated example is better than a hidden one.