What a Smart Contract Is, and Is Not - Behmaneshrad