RIP to Public Education in Texas.