semantics, appendix