untested simplifications