Smart contracts: just how smart are they?