Återstår således — underförutsättning