I'd be curious how that would shake down. If someone were to claim that they lost $USD 500k worth of Bitcoin, I imagine there'd be someone at the IRS who would

I'd be curious how that would shake down. If someone were to claim that they lost $USD 500k worth of Bitcoin, I imagine there'd be someone at the IRS who would be quite interested to look into how much this person paid on capital gains / income tax on the appreciated value of said bitcoin.... The person could be in for quite a tax bill!