Thanks for trying to answer.
It is definitely HDHP and premiums definitely paid after-tax.
Early retiree paying premiums with post-tax dollars.
