(n.) Diminution.