Udowodnione aplikacje = koniec z czarnymi skrzynkami.

Wyobraź sobie, że każda transakcja, saldo i obliczenie są poprawne, bez zgadywania.