Förutsättningen är i korthet följande.