man antager att denena