Retirement tax questions

I misinterpreted Line 8. The person in question was divorced in 2016 so the caveat in parens does not apply. Its a fine point.