Starting sequential semantics