further simplifications