Before revision:  We formally characterize  stable and unstable domains for the stablecoin.
After revision:  We formally characterize stable and unstable for the stablecoin.