to diminish or diminish gradually