How do I find the deduction 4 HELPS w/ SECURE Act 2.0, which does not require direct payment from pension to insurance? https://www.ncpers.org/blog_home.asp?display=193

My husband is retired LEO in Ohio. I am doing our taxes and trying to find where in TurboTax I can do this deduction.I get asked the question about whether $ from pension paid for health insurance, and answer no, because we pay - husband receives stipend. Help appreciated as I can't find this in TurboTax.