7.2 Formal semantics
... Omitted from Texinfo version ...