de kosten van bewijsvoering zijn omgekeerd evenredig aan de totale TAM van bewijsbare software. Net als bij energie, als je energie goedkoper maakt, komt de wereld met meer vraag naar energie!
504