zejména se stavem ověřitelných výpočtů