Definition of Redemptio Operis