Under denna förutsättning anse vireduktionen