och att , underförutsättning