Arlington is part of Texas