Kommer sålunda , underförutsättning