#behavioral semantics