Under den riktiga förutsättningen , attdet