Yeah, but the point is sort of that the interesting ones are not simply "code is law," since there is an element of trust involved in them. They're code + human oracles.