> It appears some states are already legally recognizing smart contracts

That's good to see.

FWIW I don't like the idea of a future where we need special solidity lawyers to verify some code matches its legal obligations. Which is why the Ricardian format is so appealing. It should be accesible to all

Btw thanks, that harvard link is a good read!