Interesting.

> Also, uninsured balances are enforceable onchain, which is very different from a trusted balance.

Does this mean XLN is implemented with a smart contract that withdraws the money from an address if you fail to pay? Or automatically cancels the channel if you withdraw more than what you have in the channel?