added simple simplifications