In reality Texas is currently home to some 31 million residents.