The Texas house chamber.