(n.) A diminution.