Simplify the example