deraf , att , i fall antagandetaf