Under denna förutsättning kunde man antaga,