So why doesn't ProSeries handle that situation? Simple check: If SSTB AND income over limit, then exclude. As far as I can see, we have to say it's not an SSTB to get the deduction, which isn't exactly true.