On the contrary, when I looked this question up, I found a change that was made in 2019 or so that essentially says the Teacher Retirement System of Texas is *N...