simple solution is to allow down trade of tokens.

just a a flat 1 for 1, 4S to 3S to 2S to 1S