Transitive graphs uniquely determined by their local structure

We show that the “grandfather graph” has the following property: it is the unique completion to a transitive graph of a large enough finite subgraph of itself.