3.4.1 Texas Employees Group Benefits Program Update