So not only is the vacation payout taxed at 25% but also the severance pay is too? So the total payout will be considered supplemental income.