There are a couple of points. Walt got out of the service fairly early, as he indicated, so his pension in and of itself was not well padded. We'll put it that way.
Out of that, we would have had to pay $489 or $500 a month to stash away 50%—I think, but maybe it would not have been that—of his pension for me should he die.