ddaan··on Smart Contracts will never work if we treat them as normal programsPerhaps I miss the point, but how can we be sure there are no bugs in ACE?