(v. t.) To diminish.