Utgående från den förutsättningenall