Texas' capitol building.