Simplifying either example