I den riktiga förutsättningen , attben