navigation semantics