Sometimes I wonder whether capital gains tax paid due to monetary devaluation is a feature or a bug.