to abate, to decrease, to diminish, to shorten