Maybe they can deduct the actual PTE tax liability, which may not be the payment amount.
There is not a consensus on this.
