Simplifying more