Teri, just to confirm, was the option he signed a “joint and survivor” retirement option? Such designations are generally irrevocable under law (and it sounds like that was what it is) - but if it was another type of designation, it may be considered revocable under certain circumstances such as in a divorce or separation.