Wow, that's the best definition I have heard for Smart Contract (and maybe for Block Chain).
I never thought a legal definition would be clearer than every "common" definition I have read. It's like the author of every blog post I've seen titled "What is Ethereum?" has no idea what title they used.
I guess that just shows how hype makes it hard to get to the truth.