Det antages , att denaf