Vi antaga , att dennaformligt