We should drop the use of the word "redeemed" with "succeeded" in order to be consistent with Scala terminology.