simplifying (1)