Definition:

redeemer