Tyler is part of Texas