Richardson is part of Texas