Locality conjecture for dimension-distinguishing graph properties
Locality conjecture. A graph property distinguishes the dimension if and only if it is local.