Revised semantics section.