antaga detta , idet