other simplifications