Updated semantics.