ATM machines aren't marketed that "their code is law," whereas that's an explicitly espoused property of smart contracts.