I den riktiga förutsättningen,