Retired public safety officers can deduct up to $3,000 for payments for premiums for health insurance ( IRS publication 575 page 7). How?