Utgående från förutsättningen attäfven