This section only concerns semantics.
