Finish operational semantics
Continue work on report