Simplifying examples