vooral met de staat van verifieerbare berekeningen