@fanfare On her 8915-E, line 9 the box is checked for "if you elect NOT to spread the taxable amount over 3 years. So that means she paid her portion of the taxes for her 6k withdraw on her 2020 return, right?
