One tangible example is how there is significant legal and accounting overhead for banking contracts, particularly credit default swaps and other risk-mitigatin

One tangible example is how there is significant legal and accounting overhead for banking contracts, particularly credit default swaps and other risk-mitigating things. Some of these can be automated in Ethereum.