Definition:

deprecator