I used crypto in the past, starting a decade ago, but absolutely cannot wrap my head around these new-age concepts such as smart contracts, dozen ETH flavors and whatnot. They seem blackboxes to me no matter how much I read about them. The fact you have to use a withdrawal function instead of the reverse operation used for the initial conversion seems a pretty severe design overlook since they're burned forever this way.