Under den riktiga förutsättning,