Title: General semantics