Completed semantics.