If the taxpayer is not being required to payback the excess PTC, then shouldn't their SE health deduction exclude that repayment amount and only give them credit for what was actually paid?

(I'm asking what the law is here...I know the logical answer and how to make it work in the software, but the IRS isn't about logic these days, if they ever were!))