Kostnaden för verifiering kommer snart att bli icke-trivial jämfört med kostnaden för att producera. Potentiellt ännu högre. Det kommer att bli väldigt intressant.