HB4257 Texas: Relating to United States citizenship…