Add a note on semantics.