Okay. Perhaps this is an actuarial matter that you couldn't comment too much on, but I will ask whether treating veterans in the group that can retire at age 60, or 55 with 30 years of service, assuming they had started before 2013, would have a significant effect on the cost of plan benefits.
On June 7th, 2016. See this statement in context.