we are here today to not only help the families of the two teachers who tragically lost their lives and provide them the benefits they are due, but also to help all of the employees of not only this school district, but all of the surrounding school districts to make sure they have access to mental health and behavioral health services and we recognize not all of these employees are members of the system and are for our health care program and we want to thank our partners, bluecross, blueshield to everyone who is employed in this different rikt and any of the surrounding districts. thank you. now for the texas employees retirement system? portser wilson. i am porter wilson with the texas employees retirement system of texas. and we provide benefits to state employees and also to employees of higher education in the community so the local community college employees will get
we re here today to not only help the families of the two teachers who tragically lost their lives and provide them the benefits they are due, but also to help all the employees of not only this school district but all the surrounding school districts to make sure they have access to mental health and behavioral health services. we also recognize that not all the employees of these districts are members of our system. and offer our health care program, but we want to thank our partners for extending those benefits to everyone who is employed in this district or any of the surrounding districts. thank you. thank you. and now for the texas employees retirement system,p porter wilson. i am porter wilson, executive director of the employee retirement system of texas. we provide retirement benefits and more importantly, health insurance benefits to state employees and also to employees of higher education in the community, so the local community college employees will