SB1737 Texas: Relating to service retirement benefits…