fastställa , at denaf