on mahdotonta todistaa, että älysopimus on turvallinen