Prokazatelné aplikace = žádné černé skříňky.

Představte si, že víte, že každá transakce, zůstatek a výpočet jsou správné s nulovými dohady.