Simplify the example.