Interesting... given that this is actually in use for the Australian Stock Exchange and the Hong Kong Exchanges, this smart contract language could become a major player and continue to get corporate adoption, especially now that it's open sourced.
day1: ledger A and B strike a deal to bet on the 6M Libor fix in 3 months time.
day 91: Libor fixes much higher than expected thanks to a continually robust IPO market and strong economy (but mostly the former.
In any event Ledger A now owes B 1,000 coins, but A only has 250 coins in its ledger. What happens? Is a partial payment done, or because this is a smart contract a Slack message is automagically sent to lawyers and/or collection agents?