(a.) To diminish; to lessen.