 which were either denied by the war cabinet and Churchill or partially heeded at the time. But of course, shipping was absolutely crucial for the war effort. And it was needed for many other theaters of war. And that was the calculation that was being made. The question, however, arises,