Definition of "redeems"