begin: term semantics