A theoretical de-duping vertex tree.
Tree walker, and proof that it works