People in Texas are in the US, right?