Thanks. And yes, Form 1040 Line 4b is zero because both of our contributions were nondeductible (though it turns out that she didn't contribute)
