Id.At his retirement, Paul and Sherry received his pension benefits as a QJ & SA, a form of benefit that, as discussed earlier, permitted Paul to receive a fixed income for life and Sherry to receive at least 50% of that income if Paul died before her.