simplifying and working up