Definition of Redemptioner