Definition:

reductions