Utgående från förutsättningen , atthr