Definition:

diminutions