Antag , att denena