simplifications.