 Was that an easy decision for you, or did you think of going back to the private sector? Well, at the time the war was over, 1945, with the nine years before, I had about 12 or 13 years service. I could retire at 20. So I felt having spent that much time, I might as well write it out so I could retire.