The Capital building in Austin is bigger than the white house.