Under den riktiga förutsättningen,