I den riktiga förutsättningen ,att