Glossary entries for defining words include the execution semantics for the new definition in a name Execution: section.