Simplify an example.