Definition:

discounted