Cathy took money out of her 401k to purchase a house, does she get a tax break?