I know, I was wondering the same thing, but a pension is separate from the 401K so no matter how a person leaves a job, the pension stays completely in-tact. So, whenever I get to my retirement time I'll start to get it.
Although I do not know if there is anything that I will have to do to it.