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!