6.1 Locality Semantics