Under den riktiga förutsättningen , attden