If he runs against Joe Barton, he is.
The heavily Democrat "stop six" area of Fort Worth is now in Eddie Bernice Johnson's district.
The rest of it (Arlington, Mansfield and the Mid-Cities) is dead-cold Republican. And is now represented by Joe Barton.
Martin will have to move before the March primary if he wants to run in another district.
You sure Frost is toast??