(Sigh) A very detailed survey of southern Virginia maps has thrown a number of curve balls at this discussion. John and Mary (nee Moore) Justice settled on *Harpin* Creek, not Mirey Creek. They are quite different and do not connect - Harpin Creek flows north to the Pigg River in northwest Pittsylvania County, while Mirey Creek is actually still in Halifax County and flows south to the Dan River west of South Boston. Oops....
So what does that do to the theory that Jarvis Greene was the son of George and Mary (Justice) Green?
This inconsistency persists in the (sketchy) primary documentation also.
"HALIFAX COUNTY PROCESSIONERS RETURNS 1737-1770. 26 JULY 1756, JOHN JUSTICE SENR. 400 ACRES ON THE BRANCHES OF THE MIREY CREEK ADJOINING THE 400 ACRES TRACT THAT HE NOW LIVES ON EXTENDING SOUTHERLY AND JOINS GEORGE GREEN. ALSO 400 ON THE BRANCHES OF JOHN MOORE'S CREEK BEGINNING AT A PINE MARKED I THENCE SOUTHERLY."
(John Moore was almost certainly one of Mary's relatives.)
But by 1758 they are on *Harpin* Creek: HALIFAX COUNTY DEED BOOK I pp 374-376 16 MARCH 1758 JOHN JUSTICE SENIOR, ANTRIM PARISH, HALIFAX COUNTY TO JOHN JUSTICE JUNIOR, ANTRIM PARISH, HALIFAX COUNTY FOR 5 L -200 ACRES BOTH SIDES ECHOL'S FORK PARALLEL TO ROBERT MOORE'S LINE TO SD. ECHOL'S FORK THENCE ALONG A BOUNDS EXPREST IN SC. JOHN JUSTICE'S PATENT NORTH 35 DEGREES WEST SO FAR AS TO INCLUDE SD. 200 ACRES OF LAND."
John Justice Sr's will. made 17 July 1766, refers explicitly to properties on Harpin Creek and Pigg River. (Daughter Mary, wife of George Green - explicitly so stated - was to receive five shillings and no land.)
Information regarding George Green is negligible.