Are Smart contracts really smart?

Smart contracts were first proposed by an American computer…