Operational semantics showoff