Two people are retiring. One worked entirely in a government job not covered by Social Security because it had a pension ...