För det förra kunde , underförutsättning