A great many further simplifications