x
redemption — LessWrong