spesielt med tilstanden til verifiserbar databehandling