Concrete semantics

...