Added more discussion of simplifications