to diminish {progressively}