Då motsvarar den förutsättningen,