Ott files for operational semantics written. Need to write prose.