Simplifying the example