Richardson is a city near Dallas