@redeemer: Isn't the definition