lowering terms added