2.4.1 Operational Semantics with Localities