Under denna förutsättning har heladen