natural operational semantics