Could non redeemable stamps still be exchanged back to sats on a secondary market, non atomically and with a discount?