The redemption pool of the SFT
