begin to make obvious simplifications