dynamic (operational) semantics