I den rigtiga förutsättningen ,att