Irving is part of Texas